Wild-Type Phosphoribosylpyrophosphate Synthase (PRS) from Mycobacterium tuberculosis: A Bacterial Class II PRS?

Wild-Type Phosphoribosylpyrophosphate Synthase (PRS) from Mycobacterium tuberculosis: A Bacterial Class II PRS?

The 5-phospho-α-D-ribose 1-diphosphate (PRPP) metabolite plays essential roles in several biosynthetic pathways, including histidine, tryptophan, nucleotides, and, in mycobacteria, cell wall precursors. PRPP is synthesized from α-D-ribose 5-phosphate (R5P) and ATP by the Mycobacterium tuberculosis prsA gene product, phosphoribosylpyrophosphate synthase (MtPRS). Here, we report amplification, cl...

Speed-Independent PRs Simplified Timed PRs

In this paper we present a synthesis method that utilizes timing constraints to generate timed asynchronous circuits. By unfolding the cyclic graph specification of an asynchronous circuit into an infinite acyclic graph, we are able to use efficient algorithms to analyze the given timing constraints. We derive a sufficient condition for the removal of redundancy in the specification. Based on t...

PRS Phase II Misoperations White Paper

ESRI PRS Cover WEB

Branching Bisimilarity Checking for PRS

Recent studies reveal that branching bisimilarity is decidable for both nBPP (normed Basic Parallel Processes) and nBPA (normed Basic Process Algebras). These results lead to the question if there are any other models in the hierarchy of PRS (Process Rewrite Systems) whose branching bisimilarity is decidable. It is shown in this paper that the branching bisimilarity for both nOCN (normed One Co...